Transactional Memory: Architectural Support for Lock-Free Data Structures J. Eliot B. Moss

Source URL: ocw.mit.edu

Workshop on Transactional Memory 2012 Towards Fair Transaction Scheduling with Competing QoS Requirements Walther Maldonado Moreira

Source URL: www.gsd.inesc-id.pt

Workshop on Transactional Memory April 10, 2012 LLNL-PRESThis work was performed under the auspices of the U.S. Department of Energy by Lawrence Livermore National Laboratory under contract

Source URL: www.gsd.inesc-id.pt

Euro-TM Workshop in Transactional Memory (WTMBern, Switzerland April 10, 2012 Leveraging Transactional Memory to

Source URL: www.gsd.inesc-id.pt

Sequential Consistency and Transactional Memory Arnamoy Bhattacharyya Scalable Parallel Computing Laboratory ETH Zurich DPHPC 2014

Source URL: spcl.inf.ethz.ch

Theory Comput Syst DOIs00224On Avoiding Spare Aborts in Transactional Memory Idit Keidar · Dmitri Perelman

Source URL: webee.technion.ac.il

Good Programming in Transactional Memory Game Theory Meets Multicore Architecture Raphael Eidenbenz and Roger Wattenhofer Computer Engineering and Networks Laboratory (TIK), ETH Zurich, Switzerland {eidenbenz,wattenhofer

Source URL: www.tik.ee.ethz.ch

2015 IEEE Symposium on Security and Privacy Protecting Private Keys against Memory Disclosure Attacks using Hardware Transactional Memory Le Guan∗†§ , Jingqiang Lin∗† , Bo Luo‡ , Jiwu Jing∗† and Jing Wang

Source URL: www.ieee-security.org

Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha

Source URL: www.mpi-sws.org

• Computing
• Concurrency control
• Software
• Software transactional memory
• Non-blocking algorithm
• Lock
• Parallel computing
• Concurrency
• Concurrent data structure
• Separation logic
• Thread
• Concurrent computing

Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University

Source URL: www.mpi-sws.org

• Concurrency control
• Computing
• Transaction processing
• Data management
• Software
• Compare-and-swap
• Non-blocking algorithm
• Linearizability
• Software transactional memory
• Stack
• Reagent
• Atomicity